Struct isotope::ctx::subst::SubstSlice [−][src]
pub struct SubstSlice<V, T = ()> { /* fields omitted */ }
Expand description
A simple slice of substitutions
Implementations
Construct a new substitution vector
Trait Implementations
Returns the “default value” for a type. Read more
This method tests for self
and other
values to be equal, and is used
by ==
. Read more
This method tests for !=
.
Substutite a variable, with an optional un-substituted annotation. Does not add the annotation as a constraint. Read more
Push a parameter onto this context with an optional annotation, returning the annotation substitution, if any
Check whether this context can potentially make any changes to a term with the given filter
Whether no variables are substituted by this context
Cache a substitution result. May cause erroneous behaviour if the result passed is invalid! Read more
Attempt to substitute an entire term. Return None
if substitution should proceed recursively instead.
Substutite a variable, with an optional un-substituted annotation, adding the annotation as a constraint. Read more
Get the underlying consing context
Get the underlying equality context
Auto Trait Implementations
impl<V, T> RefUnwindSafe for SubstSlice<V, T> where
T: RefUnwindSafe,
V: RefUnwindSafe,
impl<V, T> Send for SubstSlice<V, T> where
T: Send,
V: Send,
impl<V, T> Sync for SubstSlice<V, T> where
T: Sync,
V: Sync,
impl<V, T> Unpin for SubstSlice<V, T> where
T: Unpin,
V: Unpin,
impl<V, T> UnwindSafe for SubstSlice<V, T> where
T: UnwindSafe,
V: UnwindSafe,
Blanket Implementations
Mutably borrows from an owned value. Read more
Borrow an optional value of type T
Compare self to key
and return true
if they are equal.